A quantum computational semantics for epistemic logical operators. Part I: epistemic structures

Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like “Alice knows that Bob does not understand that π is irrational” as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators (to understand, to know. . .) are dealt with as (generally irreversible) quantum operations, which are, in a sense, similar to measurement-procedures. This approach permits us to model some characteristic epistemic processes, that concern both human and artificial intelligence. For instance, the operation of “memorizing and retrieving information” can be formally represented, in this framework, by using a quantum teleportation phenomenon

r-norm bounds and metric properties for zero loci of real analytic functions

We consider the problem of deciding whether or not a zero locus, X, of multivariate real analytic functions crosses a given r-norm ball in the real n-dimensional affine space. We perform a local study of the problem, and we provide both necessary and sufficient conditions to answer the question. Our conditions derive from the analysis of differential geometric properties of X at the center of the ball. An algorithm to evaluate r-norms distances is proposed

Informing additive manufacturing technology adoption: total cost and the impact of capacity utilisation

Informing Additive Manufacturing (AM) technology adoption decisions, this paper investigates the relationship between build volume capacity utilisation and efficient technology operation in an inter-process comparison of the costs of manufacturing a complex component used in the packaging industry. Confronting the reported costs of a conventional machining and welding pathway with an estimator of the costs incurred through an AM route utilising Direct Metal Laser Sintering (DMLS), we weave together four aspects: optimised capacity utilisation, ancillary process steps, the effect of build failure and design adaptation. Recognising that AM users can fill unused machine capacity with other, potentially unrelated, geometries, we posit a characteristic of ‘fungible’ build capacity. This aspect is integrated in the cost estimation framework through computational build volume packing, drawing on a basket of sample geometries. We show that the unit cost in mixed builds at full capacity is lower than in builds limited to a single type of geometry; in our study, this results in a mean unit cost overstatement of 157%. The estimated manufacturing cost savings from AM adoption range from 36 to 46%. Additionally, we indicate that operating cost savings resulting from design adaptation are likely to far outweigh the manufacturing cost advantage

The Hough Transform and the Impact of Chronic Leukemia on the Compact Bone Tissue from CT-Images Analysis

Computational analysis of X-ray Computed Tomography (CT) images allows the assessment of alteration of bone structure in adult patients with Advanced Chronic Lymphocytic Leukemia (ACLL), and may even offer a powerful tool to assess the development of the disease (prognostic potential). The crucial requirement for this kind of analysis is the application of a pattern recognition method able to accurately segment the intra-bone space in clinical CT images of the human skeleton. Our purpose is to show how this task can be accomplished by a procedure based on the use of the Hough transform technique for special families of algebraic curves. The dataset used for this study is composed of sixteen subjects including eight control subjects, one ACLL survivor, and seven ACLL victims. We apply the Hough transform approach to the set of CT images of appendicular bones for detecting the compact and trabecular bone contours by using ellipses, and we use the computed semi-axes values to infer information on bone alterations in the population affected by ACLL. The effectiveness of this method is proved against ground truth comparison. We show that features depending on the semi-axes values detect a statistically significant difference between the class of control subjects plus the ACLL survivor and the class of ACLL victims

Classical statistical distributions can violate Bell-type inequalities

We investigate two-particle phase-space distributions in classical mechanics characterized by a well-defined value of the total angular momentum. We construct phase-space averages of observables related to the projection of the particles' angular momenta along axes with different orientations. It is shown that for certain observables, the correlation function violates Bell's inequality. The key to the violation resides in choosing observables impeding the realization of the counterfactual event that plays a prominent role in the derivation of the inequalities. This situation can have statistical (detection related) or dynamical (interaction related) underpinnings, but non-locality does not play any role.Comment: v3: Extended version. To be published in J. Phys.

Linear Toric Fibrations

These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations. Polarized toric varieties which are birationally equivalent to projective toric bundles are associated to a class of polytopes called Cayley polytopes. Their geometry and combinatorics have a fruitful interplay leading to fundamental insight in both directions. These notes will illustrate geometrical phenomena, in algebraic geometry and neighboring fields, which are characterized by a Cayley structure. Examples are projective duality of toric varieties and polyhedral adjunction theory

Connectivity and a Problem of Formal Geometry

Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $\Delta_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of $P\times P$ along the intersection $X\cap\Delta_P$.Comment: 9 pages, to appear in the Proceedings volume "Experimental and Theoretical Methods in Algebra, Geometry and Topology", series Springer Proceedings in Mathematics & Statistic